Re: Mutasjon hos barn kan gi høy risiko for arvelig Alzheimers sykdom

Kan Extensions of Institutions

Institutions were introduced by Goguen and Burstall 8, 9, 10, 11] to formally capture the notion of logical system. Interpreting institutions as functors, and morphisms and representations of institutions as natural transformations, we give elegant proofs for the completeness of the categories of institutions with morphisms and representations, respectively, show that the duality between morphi...

Software-Infrastrukturen für das Risiko- und Katastrophenmanagement

Neben der wichtigen Klärung der fachlichen Abstimmung in allen Phasen des Risikound Katastrophenmanagements nimmt die Bereitstellung einer geeigneten Software-Infrastruktur eine zunehmend wichtigere Rolle ein. Der Beitrag betrachtet diese Anforderungen aus der Sicht der Informatik an Hand der Konzeption eines Web-Portals zur Kernreaktor-Fernüberwachung (KFÜ) und des EU-Projekts ORCHESTRA beschr...

Cerebrospinal fluid biomarkers reflecting β-amyloid and axonal pathology in Alzheimer’s disease and related conditions

Cerebrospinal fluid (CSF) biomarkers may be used to identify and monitor pathological processes in the central nervous system. CSF biomarkers in Alzheimer’s disease (AD) include β-amyloid 42 (Aβ42), total-tau (T-tau) and phosphorylated-tau (P-tau), reflecting brain amyloid, axonal and tangle pathology, respectively. This dissertation aims at defining and validating CSF biomarkers for amyloid an...

Computing left Kan extensions

We describe a new extension of the Todd–Coxeter algorithm adapted to computing left Kan extensions. The algorithm is a much simplified version of that introduced by Carmody and Walters (Category Theory, Proceedings of the International Conference Held in Como, Italy, 22–28 July 1990. Springer) in 1991. The simplification allows us to give a straightforward proof of its correctness and terminati...

Risiko und Nutzen von Wissensschnittstellen - Ein Gestaltungsansatz